منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریه مجموعه ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گستره تحقیقاتی که منطقدانان غربی در چند دهه اخیر در زمینه منطق ارسطو به عمل آورده­ اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته درباره منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. د...

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

پارادوکس کَرول بنیادی‌ترین مفهوم منطق، یعنی مفهوم استنتاج را به چالش می‌کشد و چنین می‌نمایاند که در هیچ استنتاجی نمی‌توان از مقدّمات به نتیجه رسید. مقاله‌ی پیش رو این پارادوکس را بر سه اندیشمند بزرگ، ویتگنشتاین، ابن‌سینا، و خواجه نصیر، عرضه می‌کند و می‌کوشد تا راه‌حلّی را از سخنان آنان فرا چنگ آورد. ویتگنشتاین از یک وضع مقدّم «بیان‌ناپذیر» ولی «نشان‌دادنی» در همه‌ی استنتاج‌ها سخن می‌گوید که سرانجام...

یک مساله رسانش گرمایی معکوس را وقتی که داده‏ ها را در ‎ x=1 داشته باشیم‏‏، در نظر می گیریم. این مساله یک مساله سهموی کناره ای نامیده می شود و به شدت بد وضع است. روش های استانداردسازی تیخونف و فوریه توسعه یافته اند، اما این روش‏ ها شامل مرز ابتدایی برای جواب ها در انتخاب پارامترهایشان هستند. یک مرز تخمینی بزرگ باعث ایجاد نتایج عددی نامناسب می شود. در اینجا رده دیگری از رو ش ‏های تکرار نیز برای ج...

موتور dc امروزه هم در جهان بدلیل قابلیت کنترل آسان سرعت هنوز مورد استفاده قرار می گیرد. در این پایان نامه طراحی و شبیه سازی یک کنترل کننده ی سیستم عصبی فازی سازگار(adaptive neuro fuzzy inference system) تحقیق می شود که این کنترل کننده در روش کنترل سرعت مدولاسیون پهنای باند(pulse width modulation)، بر روی یک موتور dc تحریک مستقل به کار گرفته شده است. هدف اصلی از انجام این کار، کاهش جریان راه ان...

رواقیان معتقد بودند استدلال‌های معتبر از طریق "تما"ها به "اثبات‌نشده"‌ها فروکاسته می‌شوند؛ چنین درکی از نظام منطق رواقی که در گزارش‌های نویسندگان دوره باستان به آن اشاره شده است، منطق رواقی را به مثابه نظامی اصل موضوعی با قواعد اشتقاقی منظور می‌کند؛ با این همه، امپریکوس در بخشی از کتاب "برضد منطق‌دانان" در ضمن توضیح دو مثال، اثبات‌نشده‌ها را به مثابه قواعد استنتاجی در تجزیه و تحلیل استدلال‌ها ب...

قاعدۀ وزر یکی از قواعد فقهی استنتاجی است که می توان مفهوم آن را با اصل شخصی بودن مجازات ها در حقوق جزای عرفی منطبق دانست. از جمله آیه هایی که زیر بنای این قاعده را تشکیل می دهند آیۀ«ولاتزر وازرة وزر اُخری» است به این مفهوم که «هیچ کس بار گناه دیگری را به دوش نمی کشد». بر اساس اصل شخصی بودن مجازات ها تنها کسی را می توان تعقیب و مجازات کرد که مرتکب قتل مادی جرم شده باشد یا در تحقق اعمال مجرمانه هم...

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

قاعدۀ وزر یکی از قواعد فقهی استنتاجی است که می توان مفهوم آن را با اصل شخصی بودن مجازات ها در حقوق جزای عرفی منطبق دانست. از جمله آیه هایی که زیر بنای این قاعده را تشکیل می دهند آیۀ«ولاتزر وازرة وزر اُخری» است به این مفهوم که «هیچ کس بار گناه دیگری را به دوش نمی کشد». بر اساس اصل شخصی بودن مجازات ها تنها کسی را می توان تعقیب و مجازات کرد که مرتکب قتل مادی جرم شده باشد یا در تحقق اعمال مجرمانه هم...

قاعدۀ وزر یکی از قواعد فقهی استنتاجی است که می توان مفهوم آن را با اصل شخصی بودن مجازات ها در حقوق جزای عرفی منطبق دانست. از جمله آیه هایی که زیر بنای این قاعده را تشکیل می دهند آیۀ«ولاتزر وازرة وزر اُخری» است به این مفهوم که «هیچ کس بار گناه دیگری را به دوش نمی کشد». بر اساس اصل شخصی بودن مجازات ها تنها کسی را می توان تعقیب و مجازات کرد که مرتکب قتل مادی جرم شده باشد یا در تحقق اعمال مجرمانه هم...